type T =
    interface end
